Preference Logic and Its Measurement-Theoretic Semantics

نویسنده

  • Satoru SUZUKI
چکیده

How can we explain why we should ascribe some logical properties to an agent’s preferences, and why we should not ascribe others to them? Although this problem is very important, little attention has been given to it. We break this problem down into the three: Problem 1. When we attempt to ascribe some logical properties to the preferences of an agent, how can we explain this ascription? Problem 2. What logical properties must we ascribe to his preferences if and only if our solution to Problem 1 can be adopted? Problem 3. What logical properties should we ascribe to his preferences and what logical properties should not we ascribe to them? The aim of this paper is to propose a new version of sound and complete preference logic (PL) that can furnish a solution to each of these problems. We solve all of them by providing PL with a Domotor-type semantics that is a kind of measurement-theoretic and decision-theoretic one.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Fully Model-Theoretic Semantics for Model-Preference Default Systems

Propositional systems of default inference based on the dyadic relation of preference between models have recently been proposed by Selman and Kautz to provide a computationally tractable mechanism for the generation of vivid knowledge bases. In this paper we argue that the formalism proposed, albeit endowed with a semantic flavour, is not a model-theoretic (or denotational) semantics, as no on...

متن کامل

What’s behind meaning?

The paper addresses the main questions to be dealt with by any semantic theory which is committed to provide an explanation of how meaning is possible. On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structur...

متن کامل

Relaxation in Constraint Logic Languages

Optimization and relaxation are two important operations that naturally arise in many applications requiring the use of constraints, e.g., engineering design, scheduling, decision support, etc. In optimization , we are interested in nding the optimal solutions to a set of constraints with respect to an objective function. In many applications, optimal solutions may be diicult or impossible to o...

متن کامل

A Preference-Based Semantics for CTD Reasoning

In [1] the authors developed a logical system based on the definition of a new non-classical connective ⊗ capturing the notion of reparative obligation. The system proved to be appropriate for handling well-known contrary-to-duty paradoxes but no model-theoretic semantics was presented. In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can ...

متن کامل

A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming

The paper presents a soundness result for the Kakas-Mancarella proof procedure for abductive logic programming with respect to an argumentation-theoretic semantics. Furthermore, it discusses the relationship of the Kakas-Mancarella procedure and its semantics with other proof procedures and semantics for abductive logic programming.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008